Towards Slicing Communicating Extended Automata
نویسندگان
چکیده
Slicing is a well-established program analysis technique that has applications in debugging, program understanding and model reduction. This paper presents an approach to slicing formal specifications based on communicating extended automata.
منابع مشابه
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observations and the system are thus both represented as finite-state machines (or automata) and the diagnosis formally defined as the synchronized composition of the model with the observations. The problem we deal with in this paper is ...
متن کاملl Janowski Slicing of Timed Automata with Discrete
The paper proposes how to use static analysis to extract an abstract model of a system. The method uses techniques of program slicing to examine syntax of a system modeled as a set of timed automata with discrete data, a common input formalism of model checkers dealing with time. The method is property driven. The abstraction is exact with respect to all properties expressed in the temporal log...
متن کاملProgramming Communicating Distributed Reactive Automata: the Weak Synchronous Paradigm
The aim of this paper is to present a new paradigm for reactive and real-time distributed programming: weak synchronism. We deene a small language for communicating reactive automata, and characterize it by an operational semantics. We show that weak synchro-nism provides a deterministic semantics of concurrency and allows physical distributed implementations. This weak synchronous paradigm can...
متن کاملAbstract Program Slicing: From Theory towards an Implementation
Program Slicing: From Theory towards an Implementation Isabella Mastroeni and Ðurica Nikolić Dipartimento di Informatica, Università di Verona, Italy [email protected], [email protected] Abstract. In this paper we extend the formal framework proposed by Binkley et al. for representing and comparing forms of program slicing. This framework describes many well-known forms of slic...
متن کاملRelating two automata-based models of orchestration and choreography
We investigate the relations between two automata-based models for describing and studying distributed services, called contract automata and communicating machines. In the first model, distributed services are abstracted away as automata oblivious of their partners that coordinate with each other through an orchestrator. The second one is concerned with the interactions occurring between distr...
متن کامل